Llistar TÃtols
S'han trobat 31 Ãtems
Llistant Ãtems des de 0 a 25:
Format | Data | TÃtol | Autor |
---|
Format | Data | TÃtol | Autor |
|
|
Accessible tourism: an integrated model of the behaviour of tourists with disabilities in a destination |
Gassiot Melian, Ariadna
|
|
26 juliol 2016 |
Accessible tourism: an integrated model of the behaviour of tourists with disabilities in a destination |
Gassiot Melian, Ariadna
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
1 juny 2018 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
|
|
5 juny 2018 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
setembre 2016 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
15 febrer 2020 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
30 juliol 2007 |
Computationally reliable approaches of contractive MPC for discrete-time systems |
Wan, Jian
|
|
|
Computationally reliable approaches of contractive MPC for discrete-time systems |
Wan, Jian
|
|
12 juliol 2016 |
Constraint-based metabolic models and their application in industrial biotechnology |
Morales Pérez, Yeimy Liceth
|
|
|
Constraint-based metabolic models and their application in industrial biotechnology |
Morales Pérez, Yeimy Liceth
|
|
juny 2017 |
Entorn de visualització i resolució de puzles tipus Cococrash |
Toledo Román, José Manuel
|
|
juny 2015 |
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
|
Generador d’horaris d’instituts |
Nogueira Gascons, Cristòfor
|
|
1 juny 2020 |
GOS A new declarative tool for modelling and solving CSPs to SAT |
Generoso Masós, Roger
|
|
22 desembre 2006 |
Quantified real constraint solving using modal intervals with applications to control |
Herrero i Viñas, Pau
|
|
|
Quantified real constraint solving using modal intervals with applications to control |
Herrero i Viñas, Pau
|
|
1 juny 2018 |
The RANTANPLAN planner: system description |
|
|
5 juny 2018 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa, Joan
; Villaret i Ausellé, Mateu
|
|
22 desembre 2016 |
The RANTANPLAN planner: system description |
Bofill Arasa, Miquel
; Espasa Arxer, Joan
; Villaret i Ausellé, Mateu
|
|
10 desembre 2015 |
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
|
Reformulation of constraint models into SMT |
Palahà i Sitges, Miquel
|
|
gener 2022 |
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints |
Bofill Arasa, Miquel
; Coll Caballero, Jordi
; Nightingale, Peter
; Suy Franch, Josep
; Ulrich-Oltean, Felix
; Villaret i Ausellé, Mateu
|
|
20 desembre 2012 |
A satisfiability modulo theories approach to constraint programming |
Suy Franch, Josep
|